MetTeL2: Towards a Prover Generation Platform
نویسندگان
چکیده
This paper introduces MetTeL2, a tableau prover generator producing Java code from the specifications of a logical syntax and a tableau calculus. It is intended to provide an easy to use system for nontechnical users and allow technical users to extend the implementation of generated provers.
منابع مشابه
MetTeL2: Towards a Tableau Prover Generation Platform
This paper introduces MetTeL2, a tableau prover generator producing Java code from the specification of a logical syntax and a tableau calculus. It is intended to provide an easy to use system for non-technical users and allow technical users to extend the generated implementations.
متن کاملThe Tableau Prover Generator MetTeL2
This paper introduces MetTeL2, a tableau prover generator producing Java code from the specification of a tableau calculus for a logical language. MetTeL2 is intended to provide an easy to use system for non-technical users and allow technical users to extend the generated
متن کاملSynthesising and Implementing Tableau Calculi for Interrogative Epistemic Logics
This paper presents a labelled tableau approach for deciding interrogative-epistemic logics (IEL). Tableau calculi for these logics have been derived using a recently introduced tableau synthesis method. We also consider an extension of the framework for a setting with questioning modalities over sequences of formulae called sequential questioning logic (SQL). We have implemented the calculi us...
متن کاملTerminating tableau calculi for modal logic K with global counting operators
This paper presents the first systematic treatment of tableau calculi for modal logic K with global counting operators. Using a recently introduced tableau synthesis framework we establish two terminating tableau calculi for the logic. Whereas the first calculus is a prefix tableau calculus, the second is a refinement that internalises the semantics of the logic without using nominals. We prove...
متن کاملRequirements for Third Generation University: A Conceptual Review of Iranian Studies
Introduction: For more than a decade, Iranian researchers have been concerned about the third- generation university and have conducted various studies in this field. Collecting and analyzing the ideas presented in these studies may pave the way for finding a path for transformation into third-generation university. This study tries to introduce the requirements of moving Iranian universities t...
متن کامل